Operational semantics - Turkish English Dictionary